19

Kinetic parameters by the method of mixed potentials

Year:
1970
Language:
english
File:
PDF, 1.12 MB
english, 1970
25

A proof-theoretic foundation of abortive continuations

Year:
2007
Language:
english
File:
PDF, 634 KB
english, 2007
31

Kripke models for classical logic

Year:
2010
Language:
english
File:
PDF, 382 KB
english, 2010
42

The two list algorithm for the knapsack problem on a FPS T20

Year:
1989
Language:
english
File:
PDF, 297 KB
english, 1989
48

Explicit Substitutions and Reducibility

Year:
2001
Language:
english
File:
PDF, 217 KB
english, 2001
50

The chemical production of electronically excited states in the H/NF2 system

Year:
1973
Language:
english
File:
PDF, 447 KB
english, 1973